(MAKE): Don't just assign it--use @SET_MAKE@.

diff --git a/Makefile.in b/Makefile.in
index 25a1fee3229d7dbb5fca12946c0b4e53a03c578f..c5c0024dbd6672283d093d550bb0a63adc84b4bf 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -32,7 +32,9 @@
 #      Still more severe - delete backup and autosave files, too.
 
 SHELL = /bin/sh
-MAKE = make  # BSD doesn't have it as a default.
+
+# If Make doesn't predefine MAKE, set it here.
+@SET_MAKE@
 
 # ==================== Things `configure' Might Edit ====================